THE VACUITY OF POSTMODERNIST METHODOLOGY

Postmodernist Study of the Internet

The point of departure is that the activities associated with the Internet are organizational and societal activities taking place within a given historical context. As such they can profit from sociological theories such as postmodemism. Postmodemism can be seen as a reaction to some signal failures of modernism and the modernity project. It is very much a socio-cultural and philosophical syst...

Regular Vacuity

The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties into a formal specification. While a positive answer of the model checker guarantees that the model satisfies the specification, correctness of the modelling is not checked. Vacuity detection is a successful approach fo...

Vacuity in Testing

In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing the effect of applying mutations to the specification or the system. If the system satisfies the mutated specification, we know that some elements of the specification do not play a role in its satisfaction, thus the specificat...

Nietzsche, Contingency, and the Vacuity of Politics

Extending Extended Vacuity

There has been a growing interest in detecting whether a logic specification holds in the system vacuously. For example, a specification ”every request is eventually followed by an acknowledgment” holds vacuously on those systems that never generate requests. In a recent paper, Armoni et al. have argued against previous definitions of vacuity, defined as sensitivity with respect to syntactic pe...